<!DOCTYPE>
<html>
    <head>
        <link rel="stylesheet" href="css/estiloprincipal.css"/>
    </head>    

<?php

session_start();

if ($_SESSION['usuario'])
{	
        $_SESSION = array();
	session_destroy();
        echo "<script>window.location.href=\"principal.php\"</script>";
        
}
else
{
	echo '<script language = javascript>
	alert("No ha iniciado ninguna sesión, por favor regístrese")
	self.location = "principal.php"
	</script>';}

?>
</html>